Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
801	Under consideration for publication in Theory and Practice of Logic Programming 1 Logic Programming with Satisfiability MICHAEL CODISH Add to Reading List Source URL: www.cs.bgu.ac.il Language: English - Date: 2008-06-25 01:40:23 Boolean algebra Propositional calculus Logic in computer science NP-complete problems Conjunctive normal form Boolean satisfiability problem Prolog Propositional variable Rewriting Theoretical computer science Logic Mathematical logic
802	Package ‘bit’ July 2, 2014 Type Package Title A class for vectors of 1-bit booleans Version[removed]Date[removed] Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 11:22:05 Theoretical computer science Mathematics Arrays Bit array FO Boolean data type 64-bit Find first set Boolean algebras canonically defined Boolean algebra Arithmetic Binary arithmetic
803	Modal logic of the planar polygons Add to Reading List Source URL: politicalmashup.nl Language: English - Date: 2014-08-08 06:32:39 Modal logic Philosophical logic Boolean algebra Non-classical logic Interior algebra Kripke semantics Closure Logic Mathematics Mathematical logic
804	Formal Methods Group ETH Zurich ¨ June 2003 Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan Computer Systems Institute ETH Zurich, Add to Reading List Source URL: fmics.inria.fr Language: English - Date: 2003-06-27 09:56:55 Cantons of Switzerland Model checking Boolean satisfiability problem ETH Zurich Røros Formal methods True quantified Boolean formula Zurich Theoretical computer science Boolean algebra Mathematics
805	Sectionally complemented chopped lattices Add to Reading List Source URL: mirror.physik-pool.tu-berlin.de Language: English - Date: 2006-04-03 06:17:06 Lie groups Lattice theory Algebraic structures Ergodic theory Lattice Boolean algebra Congruence relation Congruence lattice problem Abstract algebra Mathematics Algebra
806	DISS. ETH NO[removed]Termination Analysis for Bit-Vector Programs A dissertation submitted to ETH ZURICH for the degree of Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2011-11-25 16:39:55 Boolean algebra True quantified Boolean formula
807	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: piotrkosoft.net Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
808	Using Boolean Logic in Search Strings With over 15 billion web pages and over 40,000 job boards and resume databases, how does a recruiter sift through the data to discover the candidates who truly shine? Add to Reading List Source URL: hr.wa.gov Language: English - Date: 2014-10-23 14:31:30 Google Search Web search engine Boolean algebra Searching Proximity search Full text search Information science Information retrieval Internet search engines
809	Using Boolean Logic in Search Strings With over 15 billion web pages and over 40,000 job boards and resume databases, how does a recruiter sift through the data to discover the candidates who truly shine? Add to Reading List Source URL: www.hr.wa.gov Language: English - Date: 2014-10-23 14:31:30 Google Search Web search engine Boolean algebra Searching Proximity search Full text search Information science Information retrieval Internet search engines
810	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: gd.tuwien.ac.at Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic

UPDATE